#ifndef ___BOARD_H___
#define ___BOARD_H___

#include "os/types.h"

void bsp_init(void);
void wdog_reload(void);
#endif /* ___BOARD_H___ */

